830 research outputs found

    Analysis of folding of bladder structures

    Get PDF
    Analysis of folding bladder structure

    The GSC-II-based survey of ancient cool white dwarfs I. The sample of spectroscopically confirmed WDs

    Full text link
    The GSC-II white dwarf survey was designed to identify faint and high proper motion objects, which we used to define a new and independent sample of cool white dwarfs. With this survey we aim to derive new constraints on the halo white dwarf space density. Also, these data can provide information on the age of thick disk and halo through the analysis of the luminosity function. On the basis of astrometric and photometric parameters, we selected candidates with mu > 0.28 as/yr and R_F > 16 in an area of 1150 square degrees. Then, we separated white dwarfs from late type dwarfs and subdwarfs by means of the reduced proper motion diagram. Finally, spectroscopic follow-up observations were carried out to confirm the white dwarf nature of the selected candidates. We found 41 white dwarfs of which 24 are new discoveries. Here we present the full sample and for each object provide positions, absolute proper motions, photometry, and spectroscopy.Comment: 14 pages, 7 figures, submitted to A&

    Samuel D. Gross, M.D. (1805-1884): an innovator, even in death.

    Get PDF
    Dr. Samuel Gross\u27 contributions to the field of surgery are well known and range from numerous clinical advances to pioneering scholarship and professional activities. Dr. Gross was ceaselessly ambitious and even remarked in his autobiography that his ‘‘conviction has always been that is far better for a man to wear out than to rust out.’’1 It is through this frame of motivation that Dr. Gross lived his life

    Sub-Plate Overlap Code Documentation

    Get PDF
    An expansion of the plate overlap method of astrometric data reduction to a single plate has been proposed and successfully tested. Each plate is (artificially) divided into sub-plates which can then be overlapped. This reduces the area of a 'plate' over which a plate model needs to accurately represent the relationship between measured coordinates and standard coordinates. Application is made to non-astrographic plates such as Schmidt plates and to wide-field astrographic plates. Indeed, the method is completely general and can be applied to any type of recording media

    Validation of the Predictive Model of the European Society of Cardiology for Early Mortality in Acute Pulmonary Embolism

    Get PDF
    Background \u2003Acute pulmonary embolism (PE) is burdened by high mortality, especially within 30 days from the diagnosis. The development and the validation of predictive models for the risk of early mortality allow to differentiate patients who can undergo home treatment from those who need admission into intensive care units. Methods \u2003To validate the prognostic model for early mortality after PE diagnosis proposed by the European Society of Cardiology (ESC) in 2014, we analyzed data of a cohort of 272 consecutive patients with acute PE, observed in our hospital during a 10-year period. Moreover, we evaluated the additional contribution of D-dimer, measured at PE diagnosis, in improving the prognostic ability of the model. All cases of PE were objectively diagnosed by angiography chest CT scan or perfusion lung scan. Results \u2003The overall mortality rate within 30 days from PE diagnosis was 10% (95% confidence interval [CI]: 6.4-13.5%). According to the ESC prognostic model, the risk of death increased 3.23 times in the intermediate-low-risk category, 5.55 times in the intermediate-high-risk category, and 23.78 times in the high-risk category, as compared with the low-risk category. The receiver operating characteristic analysis showed a good discriminatory power of the model (area under the curve [AUC]\u2009=\u20090.77 [95% CI: 0.67-0.87]), which further increased when D-dimer was added (AUC\u2009=\u20090.85 [95% CI: 0.73-0.96]). Conclusion \u2003This study represents a good validation of the ESC predictive model whose performance can be further improved by adding D-dimer plasma levels measured at PE diagnosis

    Linearity in the non-deterministic call-by-value setting

    Full text link
    We consider the non-deterministic extension of the call-by-value lambda calculus, which corresponds to the additive fragment of the linear-algebraic lambda-calculus. We define a fine-grained type system, capturing the right linearity present in such formalisms. After proving the subject reduction and the strong normalisation properties, we propose a translation of this calculus into the System F with pairs, which corresponds to a non linear fragment of linear logic. The translation provides a deeper understanding of the linearity in our setting.Comment: 15 pages. To appear in WoLLIC 201
    • …
    corecore